Run Vagus Run

Run-to-Run Control in Semiconductor Manufacturing

Run-to-run Optimization via Constraint Control

Run-to-run optimization methodologies exploit the repetitive nature of batch processes to find the optimal operating policy in the presence of uncertainty. For the class of batch optimization problems where the solution is determined by terminal constraints, the update of the decision variables towards their optimal values is realized using a constraint control scheme. The methodology is adapte...

Run Forester, Run Backwards! - (Competition Contribution)

This paper briefly describes the Forester tree automata-based shape analyser and its participation in the SV-COMP’16 competition on software verification. In particular, it summarizes the verification approach used by Forester, its architecture and setup for the competition, as well as its strengths and weaknesses observed in the competition run. The paper highlights the newly added counterexam...

Long-Run and Short-Run Causality between Stock Price and Gold Price: Evidence of VECM Analysis from India

The prime objective of the study is to identify the long-run and short-run relationship between Indian stock price viz., BSE SENSEX (hereafter named as BSE) and gold price (GOLD) in India. The daily closing price data were collected for the period of ten years ranging from 1st April 2004 to 31st March 2014 with 2490 observations. The study employed two models: Model one us...

Run-DMA

Copying data from devices into main memory is a computationally-trivial, yet time-intensive, task. In order to free the CPU to perform more interesting work, computers use direct memory access (DMA) engines — a special-purpose piece of hardware — to transfer data into and out of main memory. We show that the ability to chain together such memory transfers, as provided by commodity hardware, is ...